A Derivation of the D Rule 23 Completeness of CMDL

Equality propositional logic and its extensions

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

Derivation of conflict resolution rule-curves in multi-purpose multi-reservoir system for inter-basin water transfer during drought

Generalized sigma-derivation on Banach algebras

Let $mathcal{A}$ be a Banach algebra and $mathcal{M}$ be a Banach $mathcal{A}$-bimodule. We say that a linear mapping $delta:mathcal{A} rightarrow mathcal{M}$ is a generalized $sigma$-derivation whenever there exists a $sigma$-derivation $d:mathcal{A} rightarrow mathcal{M}$ such that $delta(ab) = delta(a)sigma(b) + sigma(a)d(b)$, for all $a,b in mathcal{A}$. Giving some facts concerning general...

Completeness results for metrized rings and lattices

The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (for example, ${0})$ that are closed under the natural metric, but has no prime ideal closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, $B$ is known to be complete in its metric. Togethe...

Suzuki-type fixed point theorems for generalized contractive mappings‎ ‎that characterize metric completeness

‎Inspired by the work of Suzuki in‎ ‎[T. Suzuki‎, ‎A generalized Banach contraction principle that characterizes metric completeness‎, Proc‎. ‎Amer‎. ‎Math‎. ‎Soc. ‎136 (2008)‎, ‎1861--1869]‎, ‎we prove a fixed point theorem for contractive mappings‎ ‎that generalizes a theorem of Geraghty in [M.A‎. ‎Geraghty‎, ‎On contractive mappings‎, ‎Proc‎. ‎Amer‎. ‎Math‎. ‎Soc., ‎40 (1973)‎, ‎604--608]‎an...